Synthesizing Controllers for Nonlinear Hybrid Systems

Motivated by an example from aircraft connict resolution we seek a methodology for synthesizing controllers for nonlinear hybrid automata. We rst show how game theoretic methodologies developed for this purpose for nite automata and continuous systems can be cast in a uniied framework. We then present a conceptual algorithm for extending them to the hybrid setting. We conclude with a discussion of computational issues.